Plasma Sterilization Experiments FA 9550 - 06 - C - 0054

Specification , Design and Verification of Distributed Embedded Systems Afosr Grant Fa 9550 - 06 - 1 - 0303

We are investigating the specification, design and verification of distributed systems that combine communications, computation and control in dynamic, uncertain and adversarial environments. Our goal is to develop methods and tools for designing control policies, specifying the properties of the resulting distributed embedded system and the physical environment, and proving that the specificat...

A Grid - Free Particle Method for Electrostatic Plasma FA 9550 - 06 - 1 - 0529 Simulations

REPORT DOCUMENTATION PAGE OMB No. 0704-0188 Pitlc mp for bu U fto,1 collection of bo~laorm i a esebnubd to avengs I hour per reaper.., W*l thme Wr fo ve.I muutacson, gewegBatn e o aco.gtwrV ed rnwintarir w dthe tudd ai ww*lg ad VA~vieg is coleclon of Wwfmnation. Serd owmments "oft dftI~ burdlen sesmimate or any othe aspect of lisa oetno = *2InUokrc r k n w est for redcirvi ft4 burden to Ds w €m...

# FA 9550 - 11 - 1 - 0216 and Combines

MURI 06 : Integrated Fusion , Performance Prediction , and Sensor Management for Automatic Target Exploitation FA 9550 - 06 - 1 - 0324

Prescribed by ANSI Std. Z39.18 Form Approved OMB No. 0704-0188 The public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimat...

AFOSR Grant FA 9550 - 04 - 1 - 0151 Final Performance Report Period Covered